PrimitivesBounded[3] primitive_values
